🔄 CPS Transforms

Continuation Passing Style, Control Flow, Compiler Optimizations, Functional Compilers

A Function Inliner for Wasmtime and Cranelift
fitzgen.com·3d·
Discuss: Lobsters, Hacker News, r/rust
📥Inlining
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Trying Out C++26 Executors
mropert.github.io·10h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
✅Type Checking
Flag this post
Mastering Claude Code — A Free Open-Source Handbook for Developers
github.com·9h·
Discuss: DEV
🎭Program Synthesis
Flag this post
RFT Theorems
reddit.com·1d·
Discuss: r/compsci
🔢Algebraic Datatypes
Flag this post
JavaScript Clean Code Mastery: Part 2 - Functions That Do One Thing Well
dev.to·22h·
Discuss: DEV
📦Closure Conversion
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
📚Forth Compilers
Flag this post
10000
jro.sg·17h
📦Executable Size
Flag this post
Claude Code-Sonnet 4.5 >>>>>>> Gemini 3.0 Pro - Antigravity
factory.ai·16h·
Discuss: r/ClaudeAI
📝Rope Editors
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🔬Nanopasses
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·7h·
Discuss: Hacker News
📖Literate Programming
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·6h
📋Backus-Naur Form
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🏗️LLVM
Flag this post
<p>**Abstract:** Verification and prediction of stellar nucleosynthesis, the process by which stars create heavier elements, remains a complex challenge blendin...
freederia.com·1d
🌱Minimal ML
Flag this post